Architectural specification, exploration and simulation through rewriting-logic

In recent years Arvind’s Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specified by term rewriting systems are translated into a standard hardware description language for simulation purposes.Keywords: Rewriting-logic, High Level Specification and Simulation, Design Environment.&nbsp

Hardware / Software Codesign

The paper gives some highlights on a new R&D area called Hardware/Software Co-Design. It tries to give a answers to several questions. What are the goals and unsolved problems? What are the hardware platforms? What are the relations between field-programmable hardware and this new area

Hardware / Software Codesign

The paper gives some highlights on a new R&D area called Hardware/Software Co-Design. It tries to give a answers to several questions. What are the goals and unsolved problems? What are the hardware platforms? What are the relations between field-programmable hardware and this new area